[IA64] Make xenitp more '|tee' friendly

Flush stdout after printing the prompt.

Signed-off-by: Tristan Gingold <tgingold@free.fr>

diff --git a/tools/debugger/xenitp/xenitp.c b/tools/debugger/xenitp/xenitp.c
index bc82ee6a2300cee0ecd6badcdb23542da17b9822..5bd366e4fa07c5e383ac639760bd3065f132c2bf 100644 (file)
--- a/tools/debugger/xenitp/xenitp.c
+++ b/tools/debugger/xenitp/xenitp.c
@@ -1577,6 +1577,7 @@ void xenitp (int vcpu)
         int len;
 
         printf ("XenITP> ");
+        fflush (stdout);
 
         if (fgets (buf, sizeof (buf), stdin) == NULL)
             break;